COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00005 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
∂AIL Professor Stanislas Ulam↓Department of Mathematics
↓University of Florida↓Gainesville, Florida 32611∞

Dear Professor Ulam:

	Thanks for returning my phone call and for the conversation.

	The book review assignment triggered my memory of our hopes
to get John von Neumann to attend the Dartmouth Summer Research
Project on Artificial Intelligence in 1956.  He was already too
sick.  I thought then, and I think it has turned out to be true,
that there are many problems concerned with the representation
of common sense information by mathematical logic that he might
have been able to solve more quickly than they have been solved.

	I am looking forward to meeting you when you come to
San Francisco.  It occurs to me that you might be interested in
visiting the Computer Science Department here at Stanford, and
I would be glad to provide transportation if that would help.
As a separate proposition, our students and faculty would be
interested in any current thoughts you might have on experimental
programming in mathematics.

	Don Knuth has given his graduate proseminar the problem
of programming a complete solution to Q and K vs. R and K, and
this has led to some interesting data structures as well as the
more AI problem of condensing the solution into a form usable
on a very small computer.

.reg